1

An elementary introduction to Kalman filtering

Year:
2019
Language:
english
File:
PDF, 6.81 MB
english, 2019
3

Algorithms for computing the static single assignment form

Year:
2003
Language:
english
File:
PDF, 563 KB
english, 2003
6

Fractal symbolic analysis

Year:
2003
Language:
english
File:
PDF, 483 KB
english, 2003
8

Data-Centric Transformations for Locality Enhancement

Year:
2001
Language:
english
File:
PDF, 806 KB
english, 2001
13

Fine-grain compilation for pipelined machines

Year:
1988
Language:
english
File:
PDF, 913 KB
english, 1988
14

From control flow to dataflow

Year:
1991
Language:
english
File:
PDF, 1.23 MB
english, 1991
24

A framework for generalized control dependence

Year:
1996
Language:
english
File:
PDF, 1009 KB
english, 1996
31

Synthesizing concurrent schedulers for irregular algorithms

Year:
2012
Language:
english
File:
PDF, 552 KB
english, 2012
32

Ordered vs. unordered

Year:
2011
Language:
english
File:
PDF, 574 KB
english, 2011
33

Accumulators: New logic variable abstractions for functional languages

Year:
1991
Language:
english
File:
PDF, 2.46 MB
english, 1991
34

La prossima vita at TOPLAS

Year:
2010
Language:
english
File:
PDF, 28 KB
english, 2010
35

Efficient demand-driven evaluation. Part 2

Year:
1986
Language:
english
File:
PDF, 2.02 MB
english, 1986
47

Access normalization

Year:
1992
Language:
english
File:
PDF, 1.08 MB
english, 1992
48

Synthesizing concurrent schedulers for irregular algorithms

Year:
2011
Language:
english
File:
PDF, 552 KB
english, 2011
49

Exploiting the commutativity lattice

Year:
2012
Language:
english
File:
PDF, 612 KB
english, 2012